Quality Assurance in MBE Back and Forth
نویسنده
چکیده
The maturing of model-based engineering (MBE) has led to an increased interest and demand on the verification of MBE artifacts. Numerous verification approaches have been proposed in the past and, in fact, due to their diversity it is sometimes difficult to determine whether a suitable approach for the verification task at hand exists. In the first part of this tutorial, we thus present a classification for verification approaches of MBE artifacts that allows us to categorize approaches, among others, according to their intended verification goal and the capabilities of their verification engine. Based thereon, we briefly overview the landscape of existing verification approaches. In the second part, we iteratively build and verify the behavioral correctness of a small software system with our OCL-based model checker MocOCL.
منابع مشابه
پایش مدیریت عملکرد آزمایشگاه های بالینی بیمارستانها براساس شاخصهای تضمین کیفیت در چهارچوب دستورالعمل های سیستم ایزو
Background: Quality assurance is a prevention-oriented system that can be used to improve the quality of care, increase productivity and monitor the performance management in clinical laboratories. ISO 9001: 2000 requirements are a collection of management and technical systems designed to implement quality assurance and monitor performance management in organizations. Methods: A checklist...
متن کاملApplication of biotechnology to improve livestock products
Biotechnological achievements of recent years have emerged as powerful tool to improve quality attributes of livestock products including milk and meat products. Biotechnological approaches can be employed for improving productivity, economy, physicochemical and nutritional attributes of a wide range of livestock products. The target areas of biotechnological research in the field of livestock ...
متن کاملKnowledge Quality Assurance in Medical Data Mining
Department of Production and Management Engineering, Technical University of Crete, Chania 73100, Greece Institute of Computer Science, Foundation for Research and Technology Hellas (FORTH), Science and Technology Park of Crete, P.O. Box 1385, 71110 Heraklion, Greece E-mail: {moustaki,loukas}@logistics.tuc.gr or [email protected] Tel: +30 821 28456, +30 81 391696. FAX: +30 821 69410, +30 81...
متن کاملQuality assurance prusedore in high dose rate bracythrapy
Introduction: Quality assurance is essential for obtaining the best achievable tumor control, avoiding unnecessary side effects, accuracy and safety during performing High Dose Rate (HDR) Brachytherapy (BT). Quality assurance is extremely important because HDR BT procedures are performed quickly, with high doses given in a short time period, with little opportunity for correcti...
متن کامل